$r$$\downarrow$xmn $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<\mid$$r$$\mid$, =$_{b}$, $\leq_{b}$, $\ast$, 1, $\lambda$$z$.$z$$>$